翻訳と辞書 Words near each other ・ Boundary-Waneta Border Crossing ・ Boundary-work ・ Boundaryless organization ・ Bounded Choice ・ Bounded complete poset ・ Bounded deformation ・ Bounded emotionality ・ Bounded expansion ・ Bounded function ・ Bounded growth ・ Bounded inverse theorem ・ Bounded mean oscillation ・ Bounded operator ・ Bounded pointer ・ Bounded quantification ・ Bounded quantifier ・ Bounded rationality ・ Bounded Retransmission Protocol ・ Bounded set ・ Bounded set (topological vector space) ・ Bounded Type ・ Bounded type (mathematics) ・ Bounded variation ・ Bounded weak echo region ・ Boundedly generated group ・ Boundedness ・ Boundedness (linguistics) ・ Bounden (video game) ・ Bounder ・ Bounder (video game) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Bounded quantifier ： ウィキペディア英語版 Bounded quantifier In the study of formal theories in mathematical logic, bounded quantifiers are often added to a language in addition to the standard quantifiers "∀" and "∃". Bounded quantifiers differ from "∀" and "∃" in that bounded quantifiers restrict the range of the quantified variable. The study of bounded quantifiers is motivated by the fact that determining whether a sentence with only bounded quantifiers is true is often not as difficult as determining whether an arbitrary sentence is true. Examples of bounded quantifiers in the context of real analysis include "∀''x''>0", "∃''y''<0", and "∀''x'' ∊ ℝ". Informally "∀''x''>0" says "for all ''x'' where ''x'' is larger than 0", "∃''y''<0" says "there exists a ''y'' where ''y'' is less than 0" and "∀''x'' ∊ ℝ" says "for all ''x'' where ''x'' is a real number". For example, says "every positive number is the square of a negative number". == Bounded quantifiers in arithmetic == Suppose that ''L'' is the language of Peano arithmetic (the language of second-order arithmetic or arithmetic in all finite types would work as well). There are two types of bounded quantifiers: and . These quantifiers bind the number variable ''n'' and contain a numeric term ''t'' which may not mention ''n'' but which may have other free variables. (By "numeric terms" here we mean terms such as "1 + 1", "2", "2 × 3", "''m'' + 3", etc.) These quantifiers are defined by the following rules ($\backslash phi$ denotes formulas): : : There are several motivations for these quantifiers. * In applications of the language to recursion theory, such as the arithmetical hierarchy, bounded quantifiers add no complexity. If $\backslash phi$ is a decidable predicate then and are decidable as well. * In applications to the study of Peano Arithmetic, formulas are sometimes provable with bounded quantifiers but unprovable with unbounded quantifiers. For example, there is a definition of primality using only bounded quantifiers. A number ''n'' is prime if and only if there are not two numbers strictly less than ''n'' whose product is ''n''. There is no quantifier-free definition of primality in the language , however. The fact that there is a bounded quantifier formula defining primality shows that the primality of each number can be computably decided. In general, a relation on natural numbers is definable by a bounded formula if and only if it is computable in the linear-time hierarchy, which is defined similarly to the polynomial hierarchy, but with linear time bounds instead of polynomial. Consequently, all predicates definable by a bounded formula are Kalmár elementary, context-sensitive, and primitive recursive. In the arithmetical hierarchy, an arithmetical formula which contains only bounded quantifiers is called $\backslash Sigma^0\_0$, $\backslash Delta^0\_0$, and $\backslash Pi^0\_0$. The superscript 0 is sometimes omitted. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Bounded quantifier」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.